22. AI approaches to the complexity of legal systems :
پدیدآورنده : Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Information storage and retrieval systems-- Law, Congresses.,Law-- Methodology-- Automation, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer programming-- software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information storage and retrieval systems-- Law.,Law-- Methodology-- Automation.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
K213
23. Algebraic Foundations of Many-Valued Reasoning
پدیدآورنده : by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
26. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
27. Cognition, Semantics and Philosophy :
پدیدآورنده : edited by Jesús Ezquerro, Jesús M. Larrazabal.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Philosophy (General),Semantics.
رده :
BF311
.
E358
1992
28. Computing Meaning :
پدیدآورنده : edited by Harry Bunt, Reinhard Muskens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Linguistics.,Logic.
29. Formal Aspects of Context
پدیدآورنده : edited by Pierre Bonzon, Marcos Cavalcanti, Rolf Nossum.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
30. Formal semantics :
پدیدآورنده : Ronnie Cann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Semantics (Philosophy),Semantics.
رده :
P325
.
C28
1993
31. Fuzzy Sets, Logics and Reasoning about Knowledge
پدیدآورنده : edited by Didier Dubois, Henri Prade, Erich Peter Klement.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
32. 20090601 ,Includes bibliographical references and index. 0
پدیدآورنده : 20090602 ,20090602 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
33. Inference on the Low Level
پدیدآورنده : by Hannes Leitgeb.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Genetic epistemology.,Logic.,Philosophy (General).
34. Labelled Deduction
پدیدآورنده : edited by David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Logic.,Philosophy (General)
35. Make a shield from wisdom :
پدیدآورنده : 20090507 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
36. Multi-Dimensional Modal Logic
پدیدآورنده : by Maarten Marx, Yde Venema.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
38. Reasoning with Actual and Potential Contradictions
پدیدآورنده : edited by Philippe Besnard, Anthony Hunter.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Logic.,Philosophy (General)
رده :
Q375
.
E358
1998
39. The Oxford handbook of linguistic interfaces
پدیدآورنده : edited by Gillian Ramchand, Charles Reiss
کتابخانه: کتابخانه و مرکز اسناد فرهنگستان هنر (تهران)
موضوع : ، Linguistic analysis )Linguistics(
رده :
P
126
.
O985
2007
40. The art of structuring :
پدیدآورنده : editors, Katrin Bergener, Michael Räckers and Armin Stein.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Information resources management.,Information resources-- Research.,Information resources management.,LANGUAGE ARTS & DISCIPLINES-- Library & Information Science-- General.
رده :
ZA3060